Fizikos terminų žodynas : lietuvių, anglų, prancūzų, vokiečių ir rusų kalbomis. – Vilnius : Mokslo ir enciklopedijų leidybos institutas. Vilius Palenskis, Vytautas Valiukėnas, Valerijonas Žalkauskas, Pranas Juozas Žilinskas. 2007.
Computation tree logic — Computation tree logic (CTL) is a branching time logic, meaning that its model of time is a tree like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is… … Wikipedia
Automatic differentiation — In mathematics and computer algebra, automatic differentiation, or AD, sometimes alternatively called algorithmic differentiation, is a method to numerically evaluate the derivative of a function specified by a computer program. Two classical… … Wikipedia
Automatic calculation of particle interaction or decay — The automatic calculation of particle interaction or decay is part of the computational particle physics branch. It refers to computing tools that help calculating the complex particle interactions as studied in high energy physics, astroparticle … Wikipedia
Automatic test pattern generation — ATPG (acronym for both Automatic Test Pattern Generation and Automatic Test Pattern Generator) is an electronic design automation method/technology used to find an input (or test) sequence that, when applied to a digital circuit, enables testers… … Wikipedia
computation — Synonyms and related words: accounting, adding, adding machine, analysis, appraisal, appraisement, approximation, arithmetic, assessment, assize, assizement, automatic electronic navigation, braking, calculation, calculator, calculus, casting,… … Moby Thesaurus
automatic throttle — A flight control system feature that actuates an aircraft throttle system based on its own computation and feedback from appropriate data sources. Normally referred to as autothrottle … Aviation dictionary
Human-based computation — In computer science, human based computation is a technique when a computational process performs its function via outsourcing certain steps to humans (Kosorukoff, 2001). This approach leverages differences in abilities and alternative costs… … Wikipedia
Evolutionary computation — For the journal, see Evolutionary Computation (journal). In computer science, evolutionary computation is a subfield of artificial intelligence (more particularly computational intelligence) that involves combinatorial optimization problems.… … Wikipedia
Portable, Extensible Toolkit for Scientific Computation — infobox software name = PETSc latest release version = 2.3.3 latest release date = 23 May 2007 operating system = Linux, Unix, Mac OS X, Windows license = own compatible with [GNU General Public Licenc [e|GPL (version 2)] language = C (main… … Wikipedia
Semi Automatic Ground Environment — The Semi Automatic Ground Environment (SAGE) was an automated control system for tracking and intercepting enemy bomber aircraft used by NORAD from the late 1950s into the 1980s. In later versions, the system could automatically direct aircraft… … Wikipedia
